Tom Chothia: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - A Statistical Test for Information Leaks Using Continuous Mutual Information

Chothia, Tom, Guha, Apratim

Year:

2011

File:

PDF, 2.21 MB

2011

2

[ACM Press the 2017 ACM - Abu Dhabi, United Arab Emirates (2017.04.02-2017.04.06)] Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17 - An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols

Chothia, Tom, Ordean, Mihai, de Ruiter, Joeri, Thomas, Richard J.

Year:

2017

Language:

english

File:

PDF, 1.60 MB

english, 2017

3

Capability-Passing Processes

Tom Chothia, Dominic Duggan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 323 KB

english, 2006

4

Q-Automata: Modelling the Resource Usage of Concurrent Components

Tom Chothia, Jetty Kleijn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

5

Capability passing processes

Tom Chothia, Dominic Duggan

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 523 KB

english, 2007

6

Abstractions for fault-tolerant global computing

Tom Chothia, Dominic Duggan

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 455 KB

english, 2004

7

Encoding Distributed Areas and Local Communication into the π-Calculus

Tom Chothia, Ian Stark

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 200 KB

english, 2002

8

A Distributed π-Calculus with Local Areas of Communication

Tom Chothia, Ian Stark

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 167 KB

english, 2001

9

Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 347 KB

english, 2006

10

An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract)

Tom Chothia, Dominic Duggan, Ye Wu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

11

Keeping Secrets in Resource Aware Components

Tom Chothia, Jun Pang, Mohammad Torabi Dashti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 419 KB

english, 2007

12

Schedulability of asynchronous real-time concurrent objects

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

13

[IEEE 2008 IEEE 29th Real-Time Systems Symposium (RTSS) - Barcelona, Spain (2008.11.30-2008.12.3)] 2008 Real-Time Systems Symposium - Schedulability and Compatibility of Real Time Asynchronous Objects

Jaghoori, Mohammad Mahdi, Longuet, Delphine, de Boer, Frank S., Chothia, Tom

Year:

2008

Language:

english

File:

PDF, 606 KB

english, 2008

14

[IEEE 2012 IEEE Conference on Computational Intelligence and Games (CIG) - Granada, Spain (2012.09.11-2012.09.14)] 2012 IEEE Conference on Computational Intelligence and Games (CIG) - SCAIL: An integrated Starcraft AI system

Young, Jay, Smith, Fran, Atkinson, Christopher, Poyner, Ken, Chothia, Tom

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

15

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Probabilistic Point-to-Point Information Leakage

Chothia, Tom, Kawamoto, Yusuke, Novakovic, Chris, Parker, David

Year:

2013

Language:

english

File:

PDF, 350 KB

english, 2013

16

[IEEE 2007 3rd International Conference on Security and Privacy in Communications Networks and the Workshops - SecureComm 2007 - Nice, France (2007.09.17-2007.09.21)] 2007 Third International Conference on Security and Privacy in Communications Networks and the Workshops - SecureComm 2007 - Securing pseudo identities in an anonymous peer-to-peer file-sharing network

Year:

2007

Language:

english

File:

PDF, 233 KB

english, 2007

17

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

Arapinis, Myrto, Chothia, Tom, Ritter, Eike, Ryan, Mark

Year:

2010

Language:

english

File:

PDF, 394 KB

english, 2010

18

[IEEE 2009 IEEE Ninth International Conference on Peer-to-Peer Computing (P2P) - Seattle, WA, USA (2009.09.9-2009.09.11)] 2009 IEEE Ninth International Conference on Peer-to-Peer Computing - A trusted infrastructure for P2P-based marketplaces

Dinh, Tien Tuan Anh, Chothia, Tom, Ryan, Mark

Year:

2009

Language:

english

File:

PDF, 334 KB

english, 2009

19

[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection

Alruhaily, Nada, Bordbar, Behzad, Chothia, Tom

Year:

2015

Language:

english

File:

PDF, 390 KB

english, 2015

20

Compositional schedulability analysis of real-time actor-based systems

Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 2.61 MB

english, 2017

21

[IEEE 2016 IEEE International Congress on Big Data (BigData Congress) - San Francisco, CA, USA (2016.6.27-2016.7.2)] 2016 IEEE International Congress on Big Data (BigData Congress) - Asset-centric Security-Aware Service Selection

Tziakouris, Giannis, Zinonos, Marios, Chothia, Tom, Bahsoon, Rami

Year:

2016

Language:

english

File:

PDF, 329 KB

english, 2016

22

[ACM Press the 32nd Annual Conference - Los Angeles, California (2016.12.05-2016.12.08)] Proceedings of the 32nd Annual Conference on Computer Security Applications - ACSAC '16 - On the (in)security of the latest generation implantable cardiac defibrillators and how to secure them

Marin, Eduard, Singelée, Dave, Garcia, Flavio D., Chothia, Tom, Willems, Rik, Preneel, Bart

Year:

2016

Language:

english

File:

PDF, 458 KB

english, 2016

23

[IEEE 2016 IEEE 9th International Conference on Cloud Computing (CLOUD) - San Francisco, CA, USA (2016.6.27-2016.7.2)] 2016 IEEE 9th International Conference on Cloud Computing (CLOUD) - Thwarting Market Specific Attacks in Cloud

Tziakouris, Giannis, Bahsoon, Rami, Chothia, Tom, Buyya, Rajkumar

Year:

2016

Language:

english

File:

PDF, 375 KB

english, 2016

24

[ACM Press the 33rd Annual Computer Security Applications Conference - Orlando, FL, USA (2017.12.04-2017.12.08)] Proceedings of the 33rd Annual Computer Security Applications Conference on - ACSAC 2017 - Spinner

Stone, Chris McMahon, Chothia, Tom, Garcia, Flavio D.

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

25

[ACM Press the 33rd Annual Computer Security Applications Conference - Orlando, FL, USA (2017.12.04-2017.12.08)] Proceedings of the 33rd Annual Computer Security Applications Conference on - ACSAC 2017 - TRAKS

Thomas, Richard J., Ordean, Mihai, Chothia, Tom, de Ruiter, Joeri

Year:

2017

Language:

english

File:

PDF, 1.27 MB

english, 2017

26

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Types for Location and Data Security in Cloud Environments

Gazeau, Ivan, Chothia, Tom, Duggan, Dominic

Year:

2017

Language:

english

File:

PDF, 386 KB

english, 2017

27

[ACM Press the Fourteenth EuroSys Conference 2019 CD-ROM - Dresden, Germany (2019.03.25-2019.03.28)] Proceedings of the Fourteenth EuroSys Conference 2019 CD-ROM on ZZZ - EuroSys '19 - Time Protection

Ge, Qian, Yarom, Yuval, Chothia, Tom, Heiser, Gernot

Year:

2019

Language:

english

File:

PDF, 1.10 MB

english, 2019